Vincent Lefèvre actively participated in the revision of the IEEE Standard for Floating-Point Arithmetic (IEEE 754) for 2019.